Disputes about the causal structure of natural selection have implications for teleosemantics. Etiological, mainstream teleosemantics is based on a causalist view of natural selection. The core of its solution to Brentano’s Problem lies in the solution to Kant’s Puzzle provided by the Modern Synthesis concerning populational causation. In this paper, I suggest that if we adopt an alternative, statisticalist view on natural selection, the door is open for two reflections. First, it allows for setting different challenges to etiological teleosemantics that (...) arise if a statisticalist reading of natural selection is right. Second, by providing a different solution to Kant’s Puzzle based on individual causes of evolution, statisticalism promotes a different answer to Brentano’s Problem, what I label as Agential Teleosemantics. (shrink)

Abstract: This paper argues that a central explanatory role for the concept of Umwelt in theoretical biology is to be found in developmental biology, in particular in the effort to understand development as a goal-directed and adaptive process that is controlled by the organism itself. I will reach this conclusion in two (interrelated) ways. The first is purely theoretical and relates to the current scenario in the philosophy of biology. Challenging neo-Darwinism requires a new understanding of the various components involved (...) in natural selection processes. An important prerequisite for the explanation is the ability to understand development in a teleological way. Here, the concept of Umwelt plays a crucial role: if organisms are responsible for generating adaptive variation in specific environments, we need a theory that explains the context-dependent nature of adaptively oriented processes. The Umwelt is thus a central element in determining the goal that an adaptive process pursues. The second path in my analysis also has a historical dimension. I will present Karl Ernst von Baer’s reflections on teleological development and his influence on von Uexküll's thinking. I will present various ideas developed by von Baer, such as the distinction between Ziel and Zweck and the use of musical metaphors, which can help to understand development teleologically and give von Uexküll’s theory a central place in this framework. (shrink)

The field of the philosophy of biology is flourishing in its aim to evaluate and rethink the view inherited from the previous century ---the Modern Synthesis. Different research areas and theories have come to the fore in the last decades in order to account for different biological phenomena that, in the first instance, fall beyond the explanatory scope of the Modern Synthesis. This thesis is anchored and motivated by this revolt in the philosophy of biology. -/- The central target in (...) this context is the possibility of naturalizing teleology, a classical nightmare for the history of biology itself. This requires, principally, understanding the causes of teleological explanations without assuming an unfashioned backward causation of sorts. As the riddles of teleological explanations are about their temporal dimension, I analyze different temporal scales of biological processes: evolutionary, developmental, and physiological. -/- The first one is the one defended in the context of the Modern Synthesis. As expected, one of the aims of this thesis is to evaluate the adequacy of an evolutionary account of teleological explanation. The scrutiny is negative. Evolutionary explanations in the context of the Modern Synthesis lack the necessary causal roots to naturalize teleology. Concerning the physiological scale, a long tradition pushed up by Kant and the organicist movement in the 20th century allows us to better understand how teleological explanations can be naturalized in physiological process. The key notions in this temporal scale are self-organization and the recursive, looped character of physiological process. While the physiological scale may be suitably accounted by contemporaries views, such as Autonomous Systems Theory, different central teleological phenomena remain unexplained from a purely physiological perspective. In particular, different issues concerning the (adaptive) construction of organism ---such as plasticity, robustness, variation, novelty, inheritance--- deserve an ontogenetic analysis. -/- The principal aim of this thesis is to provide a theory of teleological development that falls beyond the Modern Synthesis' framework and is prompted by different insights from the history of biology. I call it Agential Teleosemantics. It rests on two central pillars. First, that developmental processes, beyond any gene-centered stance, can be understood in informational terms; i.e. developmental processes are about the interaction of developmental resources conveying biological information. The second ingredient is agentivity, namely the idea that development is regulated by an agentive system according to the adaptiveness of the phenotypic outcomes produced. The role of agency in Agential Teleosemantic is equivalent to the role of genes in the Modern Synthesis: it is responsible for explaining the order and the adaptive complexity in the living realm. -/- The second target of this thesis regards the possibility of naturalizing intentional explanations in cognitive science. The central project involved in such an aim is known as teleosemantics. Classical teleosemantics however is etiological: it explains the teleofunctions of representational systems in terms of evolutionary processes. The different disputes in the contemporary philosophy of biology provide two insights to analyze teleosemantics in cognitive science. First, the challenges against the Modern Synthesis must be extended to the evolutionary approach of etiological teleosemantics. Second, as Agential Teleosemantics suggests an alternative source for teleofunctions ---ontogeny, I offer an attempt to integrate Agential Teleosemantics into cognitive science in order to provide an alternative teleosemantic project to understand intentional explanations in cognitive science. (shrink)

In this paper, I will conduct three interrelated analyses. First, I will develop an analysis of various concepts in the history of biology that used to refer to individual-level phenomena but were then reinterpreted by the Modern Synthesis in terms of populations. Second, I argue that a similar situation can be found in contemporary biological theory. While different approaches reflect on the causal role of developing organisms in evolution, proponents of the Modern Synthesis avoid any substantial change by reinterpreting and (...) explaining individual-level phenomena from a population perspective. Finally, I will approach this debate by advocating the statistical reading of natural selection, which holds that explanations by natural selection are statistical. I will argue that the above historical conceptual reinterpretations belong to a new explanatory strategy developed by the Modern Synthesis based on population thinking. The reinterpretation of concepts at the individual level is part of the explanatory framework of the Modern Synthesis and the empty role of development within this framework. Moreover, the statistical perspective adopted here allows for the integration of two explanatory models: population-statistical and individual-causal. Finally, I will argue that this pluralistic framework can help to define the explanatory scope of the different biological approaches in order to achieve a coherent integration of development into evolution without rejecting population thinking. (shrink)

The foundations of biology have been a topic of debate for the past few decades. The traditional perspective of the Modern Synthesis, which portrays organisms as passive entities with limited role in evolutionary theory, is giving way to a new paradigm where organisms are recognized as active agents, actively shaping their own phenotypic traits for adaptive purposes. Within this context, this article raises the question of whether contemporary biological theory is undergoing a cognitive revolution. This inquiry can be approached in (...) two ways: from a theoretical standpoint, exploring the centrality of the cognitive sciences in current theoretical biology; and from a historical perspective, examining the resemblance between the current state of theoretical biology and the Cognitive Revolution of the mid-20th century. Both inquiries yield affirmative answers, though important nuances will be emphasized. The cognitive sciences' explanatory framework is employed to elucidate the agentic characteristics of organisms, establishing a clear parallelism between the Cognitive Revolution and the present state of theoretical biology. (shrink)

Explanatory Externalism states that the only adaptive force in evolution is natural selection. Explanatory Externalism is a central thesis of the Modern Evolutionary Synthesis. The etiological theory of natural selected-effect functions also advocates Explanatory Externalism. According to this theory, natural selection is the process responsible for determining the proper natural functions of traits. However, I will point out several challenges to Explanatory Externalism that are proposed primarily by developmental biology and its various subfields. Based on these challenges, this paper will (...) argue why biological functions cannot be fully explained by the selected-effect theory, i.e., that a theory of biological functions must adopt some kind of Explanatory Internalism. At the end of this paper, I will discuss whether or not Explanatory Internalism entails a pluralistic view of biological functions, and how this discussion is related to the different explanations of fit and diversity found in evolutionary biology. (shrink)

Some arguments against David Lewis’s modal realism seek to exploit apparent inconsistencies between it and anthropic reasoning. A recent argument, in particular, seeks to exploit an inconsistency between modal realism and typicality anthropic premises, premises common in the literature on physical multiverses, to the effect that observers who are like human observers in certain respects must be typical in the relevant multiverse. Here I argue that typicality premises are not applicable to the description of Lewis’s metaphysical multiverse, where the proportions (...) of metaphysically possible observers possessing the pertinent properties can be independently established by metaphysical reasoning. However, other kinds of reasonable anthropic premises can be seen to be consistent with and usable within modal realism. (shrink)

El objetivo de este ensayo es analizar cómo confluyen en una misma base teórica tres discursos de diferentes áreas. Uno de ellos es la ciencia, mediante el genocentrismo defendido en la síntesis moderna en Biología. Otro es el de la religión, mediante la perspectiva finalista del alma y del diseño divino, que comparten las religiones abrahámicas. Y finalmente, en la esfera político-social, donde diferentes movimientos conservadores se oponen a replantear la agenda de derechos. La confluencia teórica que nuclea a las (...) tres áreas mencionadas es un preformismo sobre los organismos. Por lo tanto, primero, veremos cómo el preformismo se encuentra presente en biología. Segundo, señalaremos dos ideas relacionadas al preformismo que subyacen tanto en la biología como en la religión. Finalmente, analizaremos cómo ambos discursos, el científico y el religioso, se encuentran presentes y empleando un rol argumentativo en debates actuales sobre derechos humanos, específicamente, relacionados al aborto ya los derechos de la población lgtbiq+. La principal conclusión es que la síntesis moderna promueve erróneamente una defensa de un preformismo genético, con connotaciones religiosas, que es usado por movimientos conservadores en el ámbito político-social. (shrink)

The thesis, typical among dualists, that there are no necessitation relations between events of consciousness and physical events implies that it is prima facie lucky that in our world the apparently existing psychophysical laws usually match events of consciousness and physical events in a “harmonious” way. The lucky psychophysical laws argument concludes that typical dualism amounts to a psychophysical parallelism that is prima facie too improbable to be true. I argue that an anthropic reasoning in the space of possible worlds (...) makes the appearance of a harmonious match situation unsurprising, and that this is all that is needed for the argument to be harmless to a typical dualist. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

The question whether the notion of rigidity can be extended in a fruitful way beyond singular terms has received a standard answer in the literature, according to which non-singular terms designate kinds, properties or other abstract singular objects and generalized rigidity is the same thing as singular term rigidity, but for terms designating such objects. I offer some new criticisms of this view and go on to defend an alternative view, on which non-singular terms designate extensions in general, and generalized (...) rigidity is identity of extension across possible worlds. I develop some fundamental positive considerations that make this view virtually inevitable as a view of generalized rigidity, emphasizing its exclusive ability to offer a purely logical justification of the necessity of several kinds of statements that go beyond true identity statements between rigid singular terms. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

The presentation of the “dual picture of vagueness” in my earlier work is supplemented here with a number of additional considerations. I emphasize how the picture lends itself naturally to treatments of the contribution of a typical degree adjective to propositional content and to truth conditions. A number of reasonable refinements of the picture are presented, especially concerning occasions of use of a degree adjective in which a class containing a sorites series is somehow involved in content fixing, but in (...) such a way that an extension ultimately gets fixed for the predicate. I also develop the observation that standard theories of the logical and semantic paradoxes rely on the idea that the content-fixing mechanisms for the paradoxical expressions work well in general but fail in some localized cases, and that while standard theories of the sorites paradox are clearly not based on this idea at all, the dual theory is fully based on the idea. Next, I offer a few remarks on some recent theories of vagueness and the sorites that are broadly in the spirit of the dual picture, emphasizing the aspects where the latter compares favorably against those recent theories. Finally, the question whether the dual theory is statable with truth according to the theory itself is considered in more detail than in my earlier presentation. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

The first work that René Descartes wrote was the Compendium Musicæ in 1618, this was his first experiment with the future cartesian method. As a work of youth, the author must have studied music in your education, mainly in the college of La Flèche. Conventionally, the work of Gioseffo Zarlino had been considered the main source, because was cited in the Compendium. Since the text starts with music´s definition and eight propositions, about which the rest of work was developed; check (...) the way that them appear in other treatises of the time could help to deduce the possible musical sources that the author used.This dissertation starts with a necessary reconstitution of philosophical and musical context of the epoch, followed by an analysis of jesuits conceptions of knowledge and music. In this way, it can be considered what motivated the author to write about music, as his the debates. In resemblance to his mature work, the text proposes a methodological turn that is only perceived with the context of the time in mind. After an interpretation of the definition of the music and the eight propositions, it could be possible compare with the others works form the epoch to verify his musical sources. With this process, it could evidence the influence of Aristotle, Aristoxenus, Jean de Murs, Pontus de Tyard, Gioseffo Zarlino and Francisco de Salinas. (shrink)

The philosopher René Descartes wrote the Compendium musicæ in 1618. Even though he was not known for his music production, he maintained a long correspondence around the subject in dialogue with Marin Mersenne, Constantjin Huygens, Isaac Beeckman and Joan-Albert Ban. However, his musical propositions appear as a marginal subject in his intellectual journey. To understand whether the musical theme relates to the development of his ideas, first, the organization of his correspondence about music and the citations to it in his (...) works was necessary, either in smaller texts or in the works published by the author. We analyzed the hypotheses about the forgetfulness of music in studies about the development of Descartes´ ideas. With these materials, we analyzed and historically contextualized the trajectory of the author's musical conceptions with the development of his main themes. Thus, it is possible to verify Descartes' musical dialogues with his own work and with his historical context. (shrink)

This article intends to show that the defense of ‘‘understanding’’ as one of the major goals of science education can be grounded on an anti-reductionist perspective on testimony as a source of knowledge. To do so, we critically revisit the discussion between Harvey Siegel and Alvin Goldman about the goals of science education, especially where it involves arguments based on the epistemology of testimony. Subsequently, we come back to a discussion between Charbel N. El-Hani and Eduardo Mortimer, on the one (...) hand, and Michael Hoffmann, on the other, striving to strengthen the claim that rather than students’ belief change, understanding should have epistemic priority as a goal of science education. Based on these two lines of discussion, we conclude that the reliance on testimony as a source of knowledge is necessary to the development of a more large and comprehensive scientific understanding by science students. (shrink)

The current economic and societal production system gives money a magnified importance, overlooking other essential flows necessary for human survival and existence. It focuses on monetary indicators like profits, dividends, and GDPs to evaluate organizational production, while often disregarding outputs that harm the biosphere. Money is treated as the constitutive being (ousia) and attributed undemonstrated explanatory properties. Intangible flow theory helps eliminate this metaphysical status of money by recognizing that monetary flows are just one of many necessary flows for human (...) survival and existence. Organizations deliver product-flows that require input-flows from and send output-flows back to the encompassing biosphere, whether they explicitly engage in environmentally friendly activities or not. Therefore, every organization is an ecological entity because it has a relationship with the biosphere, which participates in the manner through which humans integrate into their surrounding environment and relate to other living beings. Eliminating the metaphysical status of money integrates every organization in the biosphere, making organizations accountable for environmental harm caused by their activities. This can be achieved by deconstructing the metaphysical status of money in business models. (shrink)

In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security countermeasures can be (...) devised. Ontologies are instruments developed to address these conceptual clarification and terminological systematization issues. Over the years, several ontologies have been proposed in Risk Management and Security Engineering. However, as shown in recent literature, they fall short in many respects, including generality and expressivity - the latter impacting on their interoperability with related models. We propose a Reference Ontology for Security Engineering (ROSE) from a Risk Treatment perspective. Our proposal leverages on two existing Reference Ontologies: the Common Ontology of Value and Risk and a Reference Ontology of Prevention, both of which are grounded on the Unified Foundational Ontology (UFO). ROSE is employed for modeling and analysing some cases, in particular providing clarification to the semantically overloaded notion of Security Mechanism. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

Contemporary mainstream economics cannot be seen as disconnected from philosophical concerns. On the contrary, it should be understood as a defence for a specific philosophy, namely, crude quantitative hedonism where money would measure pleasure and pain. Disguised among a great mathematical apparatus involving utility functions, supply, and demand, lies a specific hedonist philosophy that every year is lectured to thousands of economic and business students around the world. This hedonist philosophy is much less sophisticated than that in ancient hedonist philosophers (...) as Epicurus or Lucretius. Furthermore, it does not solve any of the systematic difficulties regularly faced by hedonist philosophy. However, the argument that economics is detached from philosophy works as a rhetorical artifice to protect its dominant underlying philosophy: Philosophical disputes would have to be addressed within the biased mathematical apparatus of quantitative hedonism. Economists and business students must learn to identify the underlying philosophy in mainstream economics and alternative philosophical systems. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

Purpose: Illicit financial flows are targeted by the United Nations’ (UN) Sustainable Development Goals (SDGs). However, these illicit flows are not entirely understood. Furthermore, they can benefit from economic norms, laws, and regulations that lack mechanisms to detect and penalize them. This paper investigates whether a recent test, the embezzler test, can be used to identify regulatory architectures that facilitate illicit financial flows and related financial crimes. -/- Design/methodology/approach: To develop a more advanced version of the embezzler test in terms (...) of definitions and practical implementation methodology. -/- Findings: In this test, the definition of embezzlement can be understood to be the occurrence of illicit financial flows crossing the boundaries of organizations and/or countries. This is a multi-stage test, which intentionally simulates illicit financial flows to observe how well equipped is the regulatory architecture to deal with other financial offences that are related with these flows, such as theft, money laundering, fraud, corruption, market manipulation, and tax evasion. -/- Originality: This is the first explicit test that has been presented to identify norms, laws, and regulations that facilitate illicit financial flows and related financial crimes. -/- Research implications: Future research can employ the version of this test to stress test a large range of economic norms, laws, and regulations. -/- Practical/Social implications: This test’s new version can assist achieve the UN SDGs’ illicit financial flow reduction target. Furthermore, it can be used to study both existing and proposed norms, laws, and regulation. (shrink)

Risk propagation encompasses a plethora of techniques for analyzing how risk “spreads” in a given system. Albeit commonly used in technical literature, the very notion of risk propagation turns out to be a conceptually imprecise and overloaded one. This might also explain the multitude of modeling solutions that have been proposed in the lit- erature. Having a clear understanding of what exactly risk is, how it be quantified, and in what sense it can be propagated is fundamental for devising high-quality (...) risk assessment and decision-making solutions. In this paper, we exploit a previous well-established work about the nature of risk and related notions with the goal of providing a proper interpre- tation of the different notions of risk propagation, as well as revealing and harmonizing the alternative semantics for the links used in common risk propagation graphs. Finally, we discuss how these results can be leveraged in practice to model risk propagation scenarios. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

Trust is an attitude that an agent (the trustor) has toward an entity (the trustee), such that the trustor counts upon the trustee to act in a way that is benefi- cial w.r.t. to the trustor’s goals. The notion of trust is relevantly discussed both in in- formation science and philosophy. Unfortunately, we still lack a satisfying account for this concept. The goal of this article is to contribute to filling this gap. First, we take issue with some central tenets (...) shared by the main philosophical accounts, such as that there is just one relation of trust, that this relation has three argument places, and that trust is reliance plus some extra factor. Second, we provide a novel account of trust, also discussing different levels of trust. According to the account we put forth here, the logical form of trust sentences is expressed by a four-place relation. Further, we distinguish and characterize four kinds of trust relations and their connections. We also argue that trust and reliance are different phenomena. Third, on the basis of the proposed account, we extend the Reference Ontology of Trust (ROT). We call the new version of ROT that includes this extension ”ROT 3.0”. Finally, we discuss the implications of the new ontological definitions in the applications we have done of the concept of trust in other works, also pointing out future applications made possible by these novel accounts of trust. (shrink)

This article intends to show that the defense of “understanding” as one of the major goals of science education can be grounded on an anti-reductionist perspective on testimony as a source of knowledge. To do so, we critically revisit the discussion between Harvey Siegel and Alvin Goldman about the goals of science education, especially where it involves arguments based on the epistemology of testimony. Subsequently, we come back to a discussion between Charbel N. El-Hani and Eduardo Mortimer, on the one (...) hand, and Michael Hoffmann, on the other, striving to strengthen the claim that rather than students’ belief change, understanding should have epistemic priority as a goal of science education. Based on these two lines of discussion, we conclude that the reliance on testimony as a source of knowledge is necessary to the development of a more large and comprehensive scientific understanding by science students. (shrink)

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...) patterns for properties and relations based on the ontolog- ical nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers. (shrink)

In recent years, there has been an increasing interest in the development of well-founded conceptual models for Service Management, Accounting Information Systems and Financial Reporting. Economic ex- changes are a central notion in these areas and they occupy a prominent position in frameworks such as the Resource-Event Action (REA) ISO Standard, service core ontologies (e.g., UFO-S) as well as financial stan- dards (e.g. OMG’s Financial Industry Business Ontology - FIBO). We present a core ontology for economic exchanges inspired by a (...) recent view on this phenomenon. According to this view, economic exchanges are based on an agreement on the actions that the agents are committed to perform. This view enables a unified treatment of economic exchanges, regardless the object of the transaction. We ground our core ontology on the Unified Foundational Ontology (UFO), discussing its formal and conceptual aspects, instantiating it as a reusable OntoUML model, and confronting it with the REA standard and the UFO-S service ontology. (shrink)

In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological (...) view on the nature of economic transactions. According to this view, what counts asan economic transaction is based on an agreement on the actions thatthe agents are committed to perform. The agreement is in turn based on convergent preferences about the course of action to bring about. This view enables a unified treatment of economic exchanges, regardless the object of the transaction, and complies with the view that all economictransactions are about services. In this paper, we start developing our analysis in the framework of the Unified Foundational Ontology (UFO). (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Gómez-Torrente’s papers have made important contributions to vindicate Tarski’s model-theoretic account of the logical properties in the face of Etchemendy’s criticisms. However, at some points his vindication depends on interpreting the Tarskian account as purportedly modally deflationary, i.e., as not intended to capture the intuitive modal element in the logical properties, that logical consequence is (epistemic or alethic) necessary truth-preservation. Here it is argued that the views expressed in Tarski’s seminal work do not support this modally deflationary interpretation, even if (...) Tarski himself was sceptical about modalities. (shrink)

I describe a new, comparative, version of the argument from interpersonal variation to subjectivism about color. The comparative version undermines a recent objectivist response to standard versions of that argument (Gómez-Torrente 2014).

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

Jurado: Mario Gómez-Torrente (presidente), Miguel Ángel Fernández Vargas (vocal), Santiago Echeverri Saldarriaga (secretario). [Graduado con Mención Honorífica.].

Roads to Reference: An Essay on Reference Fixing in Natural Language by Mario Gómez-Torrente provides an ample attack against certain more recent variants of descriptivism in the theory of reference. The book discusses a wide variety of expressions, but the focus of this short note is on proper names and natural kind terms. In the case of proper names, indeterminacy plays an important role in Gómez-Torrente’s critical argument. Some questions related to it are raised. As to natural kind terms, the (...) differences between ordinary kind terms and scientific kind terms are discussed, and the somewhat ignored relevance of reference borrowing for natural kind terms is emphasized. (shrink)

Lockin as a way of private honesty and preparation to a jump in social theory and literature.